A Toolset for Specifying and Analyzing Software Requirements ?
نویسندگان
چکیده
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method and its support tools. This paper describes the SCR (Software Cost Reduction) tools, part of a \practical" formal method|a method with a solid mathematical foundation that software developers can apply without theorem proving skills, knowledge of temporal and higher order logics, or consultation with formal methods experts. The SCR method provides a tabular notation for specifying requirements and a set of \light-weight" tools that detect several classes of errors automatically. The method also provides support for more \heavy-duty" tools, such as a model checker. To make model checking feasible, users can automatically apply one or more abstraction methods.
منابع مشابه
Using the Scr* Toolset to Specify Software Requirements 2. the Scr Requirements Model
Formulated in the late 1970s to specify the requirements of the Operational Flight Program (OFP) of the A-7 aircraft [8], the SCR (Software Cost Reduction) requirements method is a method based on tables for specifying the requirements of software systems. During the 1980s and the early 1990s, many companies, including Bell Laboratories, Grumman, Ontario Hydro, and Lockheed, applied the SCR req...
متن کاملSCR*: A Toolset for Specifying and Analyzing Software Requirements
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method and its support tools. This paper describes the SCR (Software Cost Reduction) tools, part of a \practical" formal method|a method with a solid mathematical foundation that software developers can apply without theorem provi...
متن کاملBuilding Real-Time Embedded Systems with MetaH and UML [Abstract]
Building evolvable, embedded, time-critical systems with MetaH and UML This tutorial will look at how to develop embedded, time-critical system that can evolve as requirements or technology changes, using MetaH and the Unified Modeling language (UML). MetaH is an architectural design language, with a supporting toolset, for specifying, analyzing, and integrating computer control systems. MetaH ...
متن کاملAnalyzing Behavioural Scenarios over Tabular Specifications Using Model Checking
Tabular notations, in particular SCR specifications, have proved to be a useful means for formally describing complex requirements. The SCR method offers a powerful family of analysis tools, known as the SCR Toolset, but its availability is restricted by the Naval Research Laboratory of the USA. This toolset applies different kinds of analysis considering the whole set of behaviours associated ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007